🔬 Formal Methods - codenm.no2 · Scour

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs ⚙️Program Synthesis

arxiv.org·2d

How do LLMs do CoT reasoning internally? 🤖LLM Inference

threadreaderapp.com·13h

OranproAi/open-qa-protocol: The open standard for agentic software verification: query business rules, assess release risk, and execute autonomous testing workflows. ✓Formal Verification

github.com·1d·Hacker News

I Built a Multi-Agent Legal AI That Actually Doesn’t Hallucinate (Here’s the Architecture) ✍️Prompt Engineering

pub.towardsai.net

·1d

Show HN: AI Content Attestation & Verification w/ Revocable Signatures 🔒Runtime Security

lyfe.ninja·1d·Hacker News

Policy enforcement in AI systems: turning governance into runtime control ⚖️AI Governance

heavythoughtcloud.com·1d·Hacker News

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning ✓Formal Verification

arxiv.org·6d

Can LLMs Deobfuscate Binary Code? A Systematic Analysis of Large Language Models into Pseudocode Deobfuscation 🤖LLM Inference

arxiv.org·5d

Program Analysis Guided LLM Agent for Proof-of-Concept Generation ⚙️Program Synthesis

arxiv.org·5d

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning 🤖LLM Inference

arxiv.org·1d

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations ✓Formal Verification

arxiv.org·6d

Intent-aligned Formal Specification Synthesis via Traceable Refinement ⚙️Program Synthesis

arxiv.org·1d

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer ✓Formal Verification

arxiv.org·5d

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation 🔬eBPF

arxiv.org·2d

A Deductive System for Contract Satisfaction Proofs ✓Formal Verification

arxiv.org·2d

Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover ⚙️Program Synthesis

arxiv.org·5d

Systematic API Testing Through Model Checking and Executable Contracts ⚙️Program Synthesis

arxiv.org·2d

The Art of Building Verifiers for Computer Use Agents ✓Formal Verification

arxiv.org·6d

Learning and Enforcing Context-Sensitive Control for LLMs 💬LLMs

arxiv.org·1d

When Verification Fails: How Compositionally Infeasible Claims Escape Rejection ✓Formal Verification

arxiv.org·1d

Loading more...